More from this Author

Automated Reasoning

by Ulrich Furbach (Editor), Natarajan Shankar (Editor)

Logics in Artificial Intelligence

by J. Dix (Editor), Farinas Luis Del Cerro (Editor), Ulrich Furbach (Editor)